COMPUTABLE PRESENTATIONS OF C*-ALGEBRAS

Presentations and Tietze transformations of C*-algebras

In this work, I develop a new view of presentation theory for C*-algebras, both unital and nonunital, heavily grounded in classical notions from algebra. In particular, I introduce Tietze transformations for these presentations, which lead to a transformation theorem analogous to Tietze’s 1908 result in group theory.

Computable Structures: Presentations Matter

The computability properties of a relation R not included in the language of a computable structure A can vary from one computable presentation to another. We describe some classic results giving conditions onA orR that restrict the possible variations in the computable dimension of A (i.e. the number of isomorphic copies of A up to computable isomorphism) and the computational complexity ofR. ...

the structure of lie derivations on c*-algebras

نشان می دهیم که هر اشتقاق لی روی یک c^*-جبر به شکل استاندارد است، یعنی می تواند به طور یکتا به مجموع یک اشتقاق لی و یک اثر مرکز مقدار تجزیه شود. کلمات کلیدی: اشتقاق، اشتقاق لی، c^*-جبر.

Π 01 - presentations of algebras ∗

Effectiveness issues in algebra and model theory have been investigated intensively in the last thirty years. One wishes to understand the effective content of model-theoretic and algebraic results, and the interplay between notions of computability, algebra, and model theory. A significant body of work has recently been done in the area, and this is attested by recent series of Handbooks and s...

Computable Isomorphisms of Boolean Algebras with Operators